A Comprehensive Analysis of Proportional Intensity-based Software Reliability Models with Covariates (New Developments on Mathematical Decision Making Under Uncertainty)

The black-box approach based on stochastic software reliability models is a simple methodology with only software fault data in order to describe the temporal behavior of fault-detection processes, but fails to incorporate some significant development metrics data observed in the development process. In this paper we develop proportional intensity-based software reliability models with time-dependent metrics, and propose a statistical framework to assess the software reliability with the timedependent covariate as well as the software fault data. The resulting models are similar to the usual proportional hazard model, but possess somewhat different covariate structure from the existing one. We compare these metricsbased software reliability models with eleven well-known non-homogeneous Poisson process models, which are the special cases of our models, and evaluate quantitatively the goodness-of-fit and prediction. As an important result, the accuracy on reliability assessment strongly depends on the kind of software metrics used for analysis and can be improved by incorporating the time-dependent metrics data in modeling

Discrete-time cost analysis for a telecommunication billing application with rejuvenation

AbstractSoftware rejuvenation is a proactive fault management technique that has been extensively studied in the recent literature. In this paper, we focus on an example for a telecommunication billing application considered in [1] and develop the discrete-time stochastic models to estimate the optimal software rejuvenation schedules. More precisely, two software cost models with rejuvenation are formulated via the discrete semi-Markov processes, and the optimal software rejuvenation schedules which minimize the expected costs per unit time in the steady state are derived analytically. Further, we develop statistically nonparametric algorithms to estimate the optimal software rejuvenation schedules, provided that the complete sample data of failure times are given. Then, a new statistical device, called discrete total time on test statistics, is introduced. Finally, we examine asymptotic properties for the statistical estimation algorithms proposed in this paper through a simulation experiment

A note on sensitivity analysis for PH approximation (New Developments on Mathematical Decision Making Under Uncertainty)

This paper presents the moment-based approximation for model depandability when the uncertainty of model parameters is considered. The propagation of uncertainty of model parameters can be estimated by regarding the model parameters as random variables. However, statistical model often involves the non-exponential distribution such as Weibull distribution, which leads to the high computation cost of uncertainty analysis. In this paper, we focus on the Phase-type(PH) distribution to overcome the difficulty of computation for model contains Weibull distribution

Pull-Type Security Patch Management in Intrusion Tolerant Systems: Modeling and Analysis

In this chapter, we introduce a stochastic framework to evaluate the system availability of an intrusion tolerant system (ITS), where the system undergoes patch management with a periodic vulnerability checking strategy, i.e., pull-type patch management. In particular, a composite stochastic reward net (SRN) is developed to capture the overall system behaviors, including vulnerability discovery, intrusion tolerance, and reactive maintenance operations. Furthermore, two kinds of availability criteria, the interval availability and the steady-state availability of the system, are formulated by applying the phase-type (PH) approximation to solve the Markov regenerative process (MRGP) model derived from the composite SRN. Numerical experiments are conducted to investigate the effects of the vulnerability checking interval on the system availability

Laparoscopic splenectomy for a large multilocular splenic cyst with elevated CA19-9: Report of a case

AbstractINTRODUCTIONBecause splenic cysts are rare, a definitive treatment regime for these cysts remains unclear. We report a case of a large multilocular splenic cyst with elevated carbohydrate antigen 19-9 (CA19-9) levels, which was successfully treated with laparoscopic splenectomy.PRESENTATION OF CASEA 22-year-old female was admitted to our hospital with severe left upper abdominal pain. Serum CA19-9 level was mildly elevated (65U/ml). Computed tomography revealed a 25-cm long spleen with multilocular cystic lesions, for which an emergency laparoscopic splenectomy was performed. Histological findings revealed that the lesion was a benign true cyst, and immunostaining analyses showed that the epithelium was CA19-9-positive.DISCUSSIONAlthough some spleen-preserving approaches have been reportedly used, splenic cyst recurrence usually occurs in true cyst cases, wherein the cyst is incompletely removed. Most reported cases of splenic cysts producing CA19-9 are true cysts.CONCLUSIONThe treatment approach should be decided on the basis of the type, shape, location, and even CA19-9 levels of the splenic cyst

Role of Protein Phosphatase 2A in Osteoblast Differentiation and Function

The reversible phosphorylation of proteins plays hugely important roles in a variety of cellular processes, such as differentiation, proliferation, and apoptosis. These processes are strictly controlled by protein kinases (phosphorylation) and phosphatases (de-phosphorylation). Here we provide a brief history of the study of protein phosphorylation, including a summary of different types of protein kinases and phosphatases. One of the most physiologically important serine/threonine phosphatases is PP2A. This review provides a description of the phenotypes of various PP2A transgenic mice and further focuses on the known functions of PP2A in bone formation, including its role in osteoblast differentiation and function. A reduction in PP2A promotes bone formation and osteoblast differentiation through the regulation of bone-related transcription factors such as Osterix. Interestingly, downregulation of PP2A also stimulates adipocyte differentiation from undifferentiated mesenchymal cells under the appropriate adipogenic differentiation conditions. In osteoblasts, PP2A is also involved in the ability to control osteoclastogenesis as well as in the proliferation and metastasis of osteosarcoma cells. Thus, PP2A is considered to be a comprehensive factor in controlling the differentiation and function of cells derived from mesenchymal cells such as osteoblasts and adipocytes